マルチパラダイム言語TAO⑨ オブシェクト指向論理型プログラミング